Kathleen Joyce McCarthy (née Evers)

John McCarthy

John McCarthy, considerado como uno de los padres de la Inteligencia Artificial, es hijo de padre católico irlandés y madre judía lituana. Ingresó en el Caltech (Instituto Tecnológico de California) a los 16 años, de donde fue expulsado por negarse a seguir las clases de educación física, pero años después fue admitido de nuevo como veterano de guerra. Se licenció en matemáticas en 1948, despué...

Kathleen Early

108-113 Joyce

Family Planning Perspectives Through the mid-1980s, Medicaid eligibility requirements included very low income thresholds established by the individual states. Between 1987 and 1991, eligibility standards for poor and near-poor pregnant women were expanded dramatically. The 1986 Omnibus Budget and Reconciliation Act (OBRA) permitted states to extend eligibility (and receive reimbursement for se...

On Hoare-McCarthy algebras

We discuss an algebraic approach to propositional logic with side effects. To this end, we use Hoare’s conditional [1985], which is a ternary connective comparable to if-then-else. Starting from McCarthy’s notion of sequential evaluation [1963] we discuss a number of valuation congruences and we introduce Hoare-McCarthy algebras as the structures that characterize these congruences.

Joyce the Playwright